@Article{ArantesSantVijaSouz:2014:ToSuGe,
               author = "Arantes, A. O. and Santiago Junior, Valdivino Alexandre de and 
                         Vijaykumar, Nandamudi Lankalapalli and Souza, E. F. De",
          affiliation = "Instituto de Estudos Avan{\c{c}}ados (IEAv), P.O. Box 
                         6044S{\~a}o Jos{\'e} dos Campos, S{\~a}o Paulo, Brazil and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and Instituto de Estudos 
                         Avan{\c{c}}ados (IEAv), P.O. Box 6044S{\~a}o Jos{\'e} dos 
                         Campos, S{\~a}o Paulo, Brazil",
                title = "Tool support for generating model-based test cases via web",
              journal = "International Journal of Web Engineering and Technology",
                 year = "2014",
               volume = "9",
               number = "1",
                pages = "62--96",
             keywords = "Software testing, Distributed development, FSM, Model based 
                         testing, Statecharts, WEB application, Formal methods.",
             abstract = "Testing activities play an important role in order to obtain high 
                         quality software products. These activities become more important 
                         when considering critical software, for instance, space 
                         application software. Nowadays, there is an extensive 
                         collaboration among space institutions. So, it is more than 
                         natural to expect distributed development of software and software 
                         testing activities. Therefore, a collaborative tool hosted on the 
                         internet becomes quite useful. In this respect, WEB-PerformCharts 
                         2.0 tool discussed in this paper moves in this direction. The tool 
                         focuses on supporting a single aspect of distributed software 
                         development: the activity of generating test cases via web. 
                         Moreover, it allows model-based test case generation by means of 
                         formal methods (formal languages statecharts and FSM) which are 
                         considered state of the art in software development. 
                         WEB-PerformCharts 2.0 can be used to generate test cases for any 
                         kind of reactive systems modelled in statecharts or FSM. We 
                         present three case studies in different application domains to 
                         demonstrate the feasibility of our tool. Copyright.",
                  doi = "10.1504/IJWET.2014.063041",
                  url = "http://dx.doi.org/10.1504/IJWET.2014.063041",
                 issn = "14761289 and 17419212",
                label = "scopus 2014-11 ArantesVijaSouz:2014:ToSuGe",
             language = "en",
           targetfile = "arantes_tool.pdf",
        urlaccessdate = "03 maio 2024"
}